Item does not contain fulltextThis is the artifact for the POPL'22paper "VIP: Verifying Real-World C Idioms with Integer-Pointer Casts". It contains an extended version ofthe RefinedC and Cerberus tools with the presented VIP memory model, as well as examples, evaluation data, and the technical appendix for the papernul
This is an artifact accompanying a paper conditionally accepted at the International Conference on F...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This is the artifact for the POPL'22paper "VIP: Verifying Real-World C Idioms with Integer-Pointer C...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact for the POPL 2022 paper "Verified Compilation of C Programs with a Nominal Memo...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
This is an artifact accompanying a paper conditionally accepted at the International Conference on F...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This is the artifact for the POPL'22paper "VIP: Verifying Real-World C Idioms with Integer-Pointer C...
This is the artifact for the PLDI'21 paper "RefinedC: Automating the Foundational Verification of C ...
This is the artifact for the POPL 2022 paper "Verified Compilation of C Programs with a Nominal Memo...
This is the artifact for the PLDI '22 paper 'Diaframe: Automated Verification of Fine-Grained Concur...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Seman...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer A...
This is the artifact for the OOPSLA'22 paper “Finding Real Bugs in Big Programs with Incorrectness L...
This is an artifact accompanying a paper conditionally accepted at the International Conference on F...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
DOI
Add to ORKG